Chandra Observations of Arp 220: The Nuclear Source

We present the first results from 60ks of observations of Arp 220 using the ACIS-S instrument on Chandra. We report the detection of several sources near the galaxy's nucleus, including a point source with a hard spectrum that is coincident with the western radio nucleus B. This point source is mildly absorbed (N_H ~ 3 x 10^22 cm^-2) and has an estimated luminosity of 4 x 10^40 erg/s. In addition, a fainter source may coincide with the eastern nucleus A. Extended hard X-ray emission in the vicinity raises the total estimated nuclear 2-10 keV X-ray luminosity to 1.2 x 10^41 erg/s, but we cannot rule out a hidden AGN behind columns exceeding 5 x 10^24 cm^-2. We also detect a peak of soft X-ray emission to the west of the nucleus, and a hard point source 2.5 kpc from the nucleus with a luminosity of 6 x 10^39 erg/s.Comment: Accepted for publication in Ap

Chandra Observations of Arp 220: The Nuclear Source

We present the first results from 60ks of observations of Arp 220 using the ACIS-S instrument on Chandra. We report the detection of several sources near the galaxy's nucleus, including a point source with a hard spectrum that is coincident with the western radio nucleus B. This point source is mildly absorbed (N_H ~ 3 x 10^22 cm^-2) and has an estimated luminosity of 4 x 10^40 erg/s. In addition, a fainter source may coincide with the eastern nucleus A. Extended hard X-ray emission in the vicinity raises the total estimated nuclear 2-10 keV X-ray luminosity to 1.2 x 10^41 erg/s, but we cannot rule out a hidden AGN behind columns exceeding 5 x 10^24 cm^-2. We also detect a peak of soft X-ray emission to the west of the nucleus, and a hard point source 2.5 kpc from the nucleus with a luminosity of 6 x 10^39 erg/s.Comment: Accepted for publication in Ap

Chandra Observations of Extended X-ray Emission in Arp 220

We resolve the extended X-ray emission from the prototypical ultraluminous infrared galaxy Arp 220. Extended, faint edge-brightened, soft X-ray lobes outside the optical galaxy are observed to a distance of 10 to 15 kpc on each side of the nuclear region. Bright plumes inside the optical isophotes coincide with the optical line emission and extend 11 kpc from end to end across the nucleus. The data for the plumes cannot be fit by a single temperature plasma, and display a range of temperatures from 0.2 to 1 keV. The plumes emerge from bright, diffuse circumnuclear emission in the inner 3 kpc centered on the Halpha peak, which is displaced from the radio nuclei. There is a close morphological correspondence between the Halpha and soft X-ray emission on all spatial scales. We interpret the plumes as a starburst-driven superwind, and discuss two interpretations of the emission from the lobes in the context of simulations of the merger dynamics of Arp 220.Comment: Accepted for publication in ApJ; see also astro-ph/0208477 (Paper 1

How to Complete an Interactive Configuration Process?

When configuring customizable software, it is useful to provide interactive tool-support that ensures that the configuration does not breach given constraints. But, when is a configuration complete and how can the tool help the user to complete it? We formalize this problem and relate it to concepts from non-monotonic reasoning well researched in Artificial Intelligence. The results are interesting for both practitioners and theoreticians. Practitioners will find a technique facilitating an interactive configuration process and experiments supporting feasibility of the approach. Theoreticians will find links between well-known formal concepts and a concrete practical application.Comment: to appear in SOFSEM 201

Simulation study of magnetic holes at the Earth's collisionless bow shock

Recent observations by the Cluster and Double Star spacecraft at the Earth's bow shock have revealed localized magnetic field and density holes in the solar wind plasma. These structures are characterized by a local depletion of the magnetic field and the plasma density, and by a strong increase of the plasma temperature inside the magnetic and density cavities. Our objective here is to report results of a hybrid-Vlasov simulations of ion-Larmor-radius sized plasma density cavities with parameters that are representative of the high-beta solar wind plasma at the Earth's bow shock. We observe the asymmetric self-steepening and shock-formation of the cavity, and a strong localized temperature increase (by a factor of 5–7) of the plasma due to reflections and shock surfing of the ions against the collisionless shock. Temperature maxima are correlated with density minima, in agreement with Cluster observations. For oblique incidence of the solar wind, we observe efficient acceleration of ions along the magnetic field lines by the shock drift acceleration process

Pride and Prejudice

All of the wit and romance of Jane Austen\u27s classic 1813 novel come to life in this refreshingly fast-paced and engaging new adaptation. Finding a husband is hardly Elizabeth Bennet\u27s most urgent priority. But with four sisters, an overzealous match-making mother, and a string of unsuitable suitors, it\u27s difficult to escape the subject. When the independent-minded Elizabeth meets the handsome but enigmatic Mr. Darcy, she is determined not to let her feelings triumph over her own good sense -- but the truth turns out to be slipperier than it seems. In a society where subtle snubs and deceit proliferate, is it possible for Elizabeth and Darcy to look beyond his pride and her prejudice, and to make the best match of all?https://digitalcommons.cedarville.edu/theatre_productions/1027/thumbnail.jp

Probabilistic Model Checking for Energy Analysis in Software Product Lines

In a software product line (SPL), a collection of software products is defined by their commonalities in terms of features rather than explicitly specifying all products one-by-one. Several verification techniques were adapted to establish temporal properties of SPLs. Symbolic and family-based model checking have been proven to be successful for tackling the combinatorial blow-up arising when reasoning about several feature combinations. However, most formal verification approaches for SPLs presented in the literature focus on the static SPLs, where the features of a product are fixed and cannot be changed during runtime. This is in contrast to dynamic SPLs, allowing to adapt feature combinations of a product dynamically after deployment. The main contribution of the paper is a compositional modeling framework for dynamic SPLs, which supports probabilistic and nondeterministic choices and allows for quantitative analysis. We specify the feature changes during runtime within an automata-based coordination component, enabling to reason over strategies how to trigger dynamic feature changes for optimizing various quantitative objectives, e.g., energy or monetary costs and reliability. For our framework there is a natural and conceptually simple translation into the input language of the prominent probabilistic model checker PRISM. This facilitates the application of PRISM's powerful symbolic engine to the operational behavior of dynamic SPLs and their family-based analysis against various quantitative queries. We demonstrate feasibility of our approach by a case study issuing an energy-aware bonding network device.Comment: 14 pages, 11 figure

Theoretical analysis of perching and hovering maneuvers

Unsteady aerodynamic phenomena are encountered in a large number of modern aerospace and non-aerospace applications. Leading edge vortices (LEVs) are of particular interest because of their large impact on the forces and performance. In rotorcraft applications, they cause large vibrations and torsional loads (dynamic stall), affecting the performance adversely. In insect flight however, they contribute positively by enabling high-lift flight. Identifying the conditions that result in LEV formation and modeling their effects on the flow is an important ongoing challenge. Perching (airfoil decelerates to rest) and hovering (zero freestream velocity) maneuvers are of special interest. In earlier work by the authors, a Leading Edge Suction Parameter (LESP) was developed to predict LEV formation for airfoils undergoing arbitrary variation in pitch and plunge at a constant freestream velocity. In this research, the LESP criterion is extended to situations where the freestream velocity is varying or zero. A point-vortex model based on this criterion is developed and results from the model are compared against those from a computational fluid dynamics (CFD) method. Abstractions of perching and hovering maneuvers are used to validate the low-order model's performance in highly unsteady vortex-dominated flows, where the time-varying freestream/translational velocity is small in magnitude compared to the other contributions to the velocity experienced by the leading edge region of the airfoil. Time instants of LEV formation, flow topologies and force coefficient histories for the various motion kinematics from the low-order model and CFD are obtained and compared. The LESP criterion is seen to be successful in predicting the start of LEV formation and the point-vortex method is effective in modeling the flow development and forces on the airfoil. Typical run-times for the low-order method are between 30-40 seconds, making it a potentially convenient tool for control/design applications